A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·8h
🔄Finite State Machines
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·1d
📐Format Grammars
Rules_derive: Deriving Using Macro_rules
matx.com·22h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
GitHub Copilot: Reusable Prompts, Part 2 — Walkthrough & Real Examples
dev.to·53m·
Discuss: DEV
⚔️Lean Tactics
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·8h
🧠Machine Learning
Creating and using pass tickets on z/OS.
colinpaice.blog·19h
🛡️eBPF Security
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·16h
🛡️Proof-Carrying Archives
A Periodic Table of System Design Principles
github.com·19h·
Discuss: Hacker News
⚙️Operating System Design
Symbolic-numeric programming in scientific computing
dspace.mit.edu·8h
🧬Functional Programming
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·6h
✅Format Verification
Web Embeddable Common Lisp
ecl.common-lisp.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Achieving Early Wins in Generative AI
cacm.acm.org·19h
📋Document Grammar
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·16h·
Discuss: Hacker News
🧮Theorem Proving
Every Single Human. Like. Always.
randsinrepose.com·20h
⚡Proof Automation
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·8h
✅Formal Methods
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·1d
🎯Performance Proofs
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·8h
🧮Theorem Proving
Show HN: I built a local AI system for SOAP notes–no cloud, no wrappers
news.ycombinator.com·53m·
Discuss: Hacker News
🎙️Whisper
Designing SQL Tools for AI Agents
blog.arcade.dev·16h·
Discuss: Hacker News
⛏️SQL Archaeology